Last published: October 29, 2007 4:33:11 AM PST
|
Doc for 2.0
SourceForge.net Project Page
|
Hosted by SourceForge
Overview
What is it?
Documentation
API (Javadoc)
Build Instructions
Installing
Performance
Links
Downloads
JavaBDD for Windows
JavaBDD for Linux
JavaBDD for Mac OS X
JavaBDD Source code
Project Documentation
About
Project Info
Project Reports
Development Process
Legend
External Link
Opens in a new window
Acknowledgements
Jørn Lind-Nielsen
, the author of
BuDDy
, for an outstanding package.
Fabio Somenzi
, the author of
CUDD
.
Arash Vahidi
, author of
JBDD
, a precursor to JavaBDD.
Projects using JavaBDD
bddbddb
, BDD-Based Deductive DataBase.
Joeq
virtual machine and compiler infrastructure.
Jedd
, a Java language extension adding BDDs as a primitive data type.
Checking Satisfiability of Guarded Fragments
.
Related Links
JavaDD
, a decision diagram library for Java.
BuDDy
CUDD
CAL
: breadth-first-based BDD package
PPBF
: parallel BDD package based on partial breadth-first expansion
